Dual space in linear algebra